Linear temporal logic - PDFSEARCH.IO - Document Search Engine

Linear temporal logic
Results: 458

#	Item
351	[removed]): Manuscript for presentation at IPSJ-SIGPRO, 8 June[removed]Regular Paper Decidability and Undecidability Results of Modal µ-calculi with N1 Semantics Add to Reading List Source URL: 91.121.110.215 Language: English - Date: 2013-09-26 02:18:34 Symbol Interpretation Mathematics Metalogic Linear temporal logic Spectral theory of ordinary differential equations Formal languages Logic Model theory
352	IMRN International Mathematics Research Notices 2000, No. 11 The Space of Degenerate Whittaker Models for General Linear Groups over a Finite Field Dipendra Prasad Add to Reading List Source URL: www.math.tifr.res.in Language: English - Date: 2006-11-07 20:44:34 Induced representation Simple module Cuspidal representation Unipotent Deligne–Lusztig theory Linear temporal logic Abstract algebra Algebra Representation theory
353	ACM 2007 Turing Award Edmund Clarke, Allen Emerson, and Joseph Sifakis Model Checking: Algorithmic Verification and Debugging ACM Turing Award Citation In 1981, Edmund M. Clarke and E. Allen Emerson, working in the USA, Add to Reading List Source URL: www-verimag.imag.fr Language: English - Date: 2012-12-31 04:25:30 Logic in computer science Temporal logic Model checkers Formal methods Model checking Formal verification Linear temporal logic Computation tree logic CTL* Theoretical computer science Mathematical logic Applied mathematics
354	Melbourne Institute Working Paper Series Working Paper No[removed]A Bayesian Simulation Approach to Inference on a Multi-State Latent Factor Intensity Model Chew Lian Chua, G. C. Lim and Penelope Smith Add to Reading List Source URL: www.melbourneinstitute.com Language: English - Date: 2010-06-15 20:51:35 Linear temporal logic Symbol Statistics Marginal likelihood Probability theory
355	Melbourne Institute Working Paper Series Working Paper No[removed]A Bayesian Simulation Approach to Inference on a Multi-State Latent Factor Intensity Model Chew Lian Chua, G. C. Lim and Penelope Smith Add to Reading List Source URL: melbourneinstitute.com Language: English - Date: 2010-06-15 20:51:35 Linear temporal logic Symbol Statistics Marginal likelihood Probability theory
356	On Lifting Integer Variables in Minimal Inequalities Amitabh Basu1,2 , Manoel Campelo3,4 , Michele Conforti5 , G´erard Cornu´ejols1,6,7 , Giacomo Zambelli5 November 18, 2009 Abstract This paper contributes to the theor Add to Reading List Source URL: integer.tepper.cmu.edu Language: English - Date: 2009-11-18 11:00:48 Quantum mechanics MAX-3SAT Mathematics Function Linear temporal logic
357	Minimal inequalities for an infinite relaxation of integer programs Amitabh Basu Carnegie Mellon University, [removed] Michele Conforti Universit`a di Padova, [removed] Add to Reading List Source URL: integer.tepper.cmu.edu Language: English - Date: 2011-12-19 13:38:50 Mathematical analysis Convex set Convex function Lattice Vector space Convex hull Linear temporal logic Algebra Mathematics Convex analysis
358	On the Facets of Mixed Integer Programs with Two Integer Variables and Two Constraints G´erard Cornu´ejols ∗ Tepper School of Business, Carnegie Mellon University, Pittsburgh, PA[removed]and LIF, Facult´e des Sciences Add to Reading List Source URL: integer.tepper.cmu.edu Language: English - Date: 2008-04-28 17:39:35 Quadrilateral Convex function Inequality Triangle Cone Linear temporal logic Spectral theory of ordinary differential equations Mathematics Mathematical analysis Geometry
359	Minimal Valid Inequalities for Integer Constraints Valentin Borozan LIF, Facult´e des Sciences de Luminy, Universit´e de Marseille, France [removed] and G´erard Cornu´ejols ∗ Add to Reading List Source URL: integer.tepper.cmu.edu Language: English - Date: 2008-12-01 16:54:09 Deduction Entailment Logical consequence Logical syntax Metalogic Convex function Cone Linear temporal logic Logic Mathematical analysis Mathematics
360	AG11 FORMALISM A Alessio Guglielmi (TU Dresden[removed]My current view of formalisms for deep inference is that we can Add to Reading List Source URL: cs.bath.ac.uk Language: English - Date: 2007-12-18 10:37:40 Linear temporal logic Model theory M-estimators Robust statistics Entailment Logic Symbol Mathematics

UPDATE